#include <stdio.h>
int main(void)
{
	int n;
	scanf("%d\n",&n);
	if (n%5==0&&n%7==0)
		printf("yes");
	else
		printf("no");
	return 0;
}

